The purpose of this paper is to present a formalization of the language, semantics and axiomatization of justification logic in Coq. We present proofs in a natural deduction style derived from the axiomatic approach of justification logic. Additionally, we present possible world semantics in Coq based on Fitting models to formalize the semantic satisfaction of formulas. As an important result, with this implementation, it is possible to give a proof of soundness for $\mathsf{L}\mathsf{P}$ with respect to Fitting models.

This paper analyses the metaliterary statements that pervade the oeuvre of Ennodius of Pavia (a.d. 474–521) in order to reconstruct his underlying conception of language: its nature, power, function, limitations, and dangers. This new perspective provides a more nuanced insight into the paradoxical poetics of the author as well as his final renunciation to literature after his appointment as bishop of Pavia.

El sufrimiento existencial en el paciente oncológico en estadio avanzado: dimensiones y ejes vertebradores para la intervención psicológica Sofrimento existencial no paciente oncológico em estágio avançado: dimensões e eixos vertebrais para intervenção psicológica The relief of existential suffering in the patients with adavanced cancer is a first-order therapeutic goal. The present work suggests some axis on which psychotherapeutic intervention could be developed, in order to facilitate in these patients: 1) The experience of: In spite of the "existing" limited situation, one's (...) life "still" has meaning, 2) Positive emotional experiences that promote well-being and quality of life, and 3) Face the serious illness that will cause one's almost imminent death, through the development of a serene, reconciled attitude with life and integrating with oneself and the others. Para citar este artículo / To reference this article / Para citar este artigo García-Alandete J, Hernández-Jiménez MJ. El sufrimiento existencial en el paciente oncológico en estadio avanzado: dimensiones y ejes vertebradores para la intervención psicológica. pers. bioét. 2018; 22: 319-330. DOI: 10.5294/pebi.2018.22.2.9. (shrink)

Journal Name: Semiotica Issue: Ahead of print.

In this paper, an attempt is made to solve various problems posed to current theories of verisimilitude: the problem of linguistic variance; the problem of which are the best scientific methods for getting the most verisimilar theories; and the question of the ontological commitment in scientific theories. As a result of my solution to these problems, and with the help of other considerations of epistemological character, I conclude that the notion of 'Tarskian truth' is dispensable in a rational interpretation of (...) the scientific enterprise. As a logical result, however, falsificationism will be vindicated. (shrink)

An epistemic notion of verisimilitude (as the 'degree in which a theory seems closer to the full truth to a scientific community') is defined in several ways. Application to the structuralist description of theories is carried out by introducing a notion of 'empirical regularity' in structuralist terms. It is argued that these definitions of verisimilitude can be used to give formal reconstructions of scientific methodologies such as falsificationism, conventionalism and normal science.

Scientists can choose different claims as interpretations of the results of their research. Scientific rhetoric is understood as the attempt to make those claims most beneficial for the scientists' interests. A rational choice, game-theoretic model is developed to analyze how this choice can be made and to assess it from a normative point of view. The main conclusion is that `social' interests (pursuit of recognition) may conflict with `cognitive' ones when no constraints are put on the choices of the authors (...) of scientific papers, as in an `ideal free speech situation'. Scientific institutions may help to solve this conflict. Lastly, some empirical predictions are offered that can inspire future social research of the refereeing process. (shrink)

Some peculiarities of the evaluation of theories within scientific research programmes and of the assessing of rival SRPs are described assuming that scientists try to maximise an ‘epistemic utility function’ under economic and institutional constraints. Special attention is given to Lakatos' concepts of ‘empirical progress’ and ‘theoretical progress’. A notion of ‘empirical verisimilitude’ is defended as an appropriate utility function. The neologism ‘methodonomics’ is applied to this kind of studies.

The scientist's decision of accepting a given proposition is assumed to be dependent on two factors: the scientist's 'private' information about the value of that statement and the proportion of colleagues who also accept it. This interdependence is modelled in an economic fashion, and it is shown that it may lead to multiple equilibria. The main conclusions are that the evolution of scientific knowledge can be path, dependent, that scientific revolutions can be due to very small changes in the empirical (...) evidence, and that not all possible equilibria are necessarily efficient, neither in the economic nor in the epistemic sense. These inefficiencies, however, can be eliminated if scientists can form coalitions. (shrink)

The connection between scientific knowledge and our empirical access to realityis not well explained within the structuralist approach to scientific theories. I arguethat this is due to the use of a semantics not rich enough from the philosophical pointof view. My proposal is to employ Sellars–Brandom's inferential semantics to understand how can scientific terms have empirical content, and Hintikka's game-theoretical semantics to analyse how can theories be empirically tested. The main conclusions are that scientific concepts gain their meaning through `basic (...) theories' grounded on `common sense, and that scientific method usually allows the pragmatic verification and falsification of scientific theories. (shrink)

The decision whether to have a realist or an anti-realist attitude towards scientific hypotheses is interpreted in this paper as a choice that scientists themselves have to face in their work as scientists, rather than as a ‘philosophical’ problem. Scientists’ choices between realism and instrumentalism are interpreted in this paper with the help of two different conceptual tools: a deflationary semantics grounded in the inferentialist approach to linguistic practices developed by some authors, and an epistemic utility function that tries to (...) represent the cognitive preferences of scientists. The first tool is applied to two different questions traditionally related to the problem of scientific realism: the non-miracle argument, and the continuity of reference. The second one is applied to the problem of unconceived alternatives, and to the distinction between realist and instrumentalist attitudes towards scientific hypotheses. (shrink)

Open peer commentary on the article “Lived Experience and Cognitive Science Reappraising Enactivism’s Jonasian Turn” by Mario Villalobos & Dave Ward. Upshot: Villalobos and Ward reappraise enactivism’s “Jonasian turn” and discover an untenable anthropomorphism at its core. As a corrective to this, the authors propose a Maturanian-inspired account of experience that could accommodate central enactive insights while avoiding anthropomorphism. In this commentary, I will delve a bit deeper into Villalobos and Ward’s treatment of anthropomorphism. In so doing, I will show (...) that the notion of anthropomorphism trades on an ambiguity that leaves the authors’ own position open to accusations of anthropomorphism and that it needs further justification for why it is at odds with science. I conclude with a few words on why the authors’ assessment of a similar proposal by myself is unfounded. (shrink)

Moulines’ arguments against several types of realism in his book Pluralidad y recursion are considered and a defence of scientific realism consistent with structuralism is offered as a plausible answer to Moulines’ criticisms.

The process of scientific investigation is reconstructed as a process of empirical approximation to the truth. This last concept is explicated as a combination of “degree of simmilarity between theory A and the strongest accepted empirical law at moment t” and the “degree of depth of this empirical law”. A number of methodological theorems are proved, and avision of science closer to sophisticated falsificationism is mathematically deduced from our definitions.

An Asian Indian Hindu family chose no intervention and hospice care for their newborn with hypoplastic right heart syndrome as an ethical option, and the newborn expired after five days. Professional nursing integrates values-based practice and evidence-based care with cultural humility when providing culturally responsive family-centered culture care. Each person’s worldview is unique as influenced by culture, language, and religion, among other factors. The Nursing Team sought to understand this family’s collective Indian Hindu worldview and end-of-life beliefs, values, and practices, (...) in view of the unique aspects of the situation while the team integrated evidence-based strategies to provide family-centered culture care. Parental care choices conflicted with those of the Nursing Team, and some nurses experienced moral distress and cultural dissonance when negotiating their deeply held cultural and religious views to advocate for the family. The inability to reconcile and integrate a stressful or traumatic experience impacts nurses’ well-being and contributes to compassion fatigue. Nurses need to be intentional in accessing interventions that promote coping and healing and moral resilience. Reflection and cultural humility, assessment, and knowledge in context, increase evidence-based culture care and positive outcomes. U.S. society’s views on ethical behavior continue to evolve, and some may argue that the law should place more limits on parents’ right to choose or to refuse treatment for their infants and children. Moral distress can lead to moral resilience and satisfaction of compassion when nurses provide family-centered culture care with cultural responsiveness and integrate values-based practice with evidence-based care, and aim to first do no harm. (shrink)

Cuando hace ahora 40 años terminaba mi carrera universitaria y comenzaba meses después a ser profesora de Ecología en la Universidad de Salamanca, poco se sabía que desde 1968 se había consolidado la Ecología como una nueva área del conocimiento científico, según la UNESCO. Una ciencia, nacida un siglo antes de esa fecha, que serviría ya desde mayo de ese año (mayo del 68), también para definir una ideología nueva del mundo contemporáneo, el ecologismo. Y así, en menos de medio (...) siglo, la ecología ha ido penetrando en la sociedad, tanto en el sistema educativo, desde la enseñanza universitaria a la enseñanza básica y obligatoria, como en la educación no formal (educación popular), además de en otras esferas políticas y sociales. (shrink)

In this paper, the structure of a southeastern Spanish population was studied for the first time with respect to its inbreeding patterns and its relationship with demographic and geographic factors. Data on consanguineous marriages from 1900 to 1969 were taken from ecclesiastic dispensations. Our results confirm that the patterns and trends of inbreeding in the study area are consistent with those previously observed in most non-Cantabrian Spanish populations. The rate of consanguineous marriages was apparently stable between 1900 and 1935 and (...) then sharply decreased since 1940, which coincides with industrialization in Spain. A marked departure from Hardy-Weinberg expectations in the ratio of first cousin to second cousin marriages in the study population was observed. The high levels of endogamy and its significant steadiness throughout the twentieth century is noteworthy. Accordingly, our results show that exogamous marriages were not only poorly represented but also that this reduced mobility suggests that the choice of a mate was preferentially local. We found higher mobility in M22 with respect to M33 cousin mating. The relationships between population size and consanguinity rates and inbreeding fit power-law distributions. A significant positive correlation was observed between inbreeding and elevation. Many Spanish populations have experienced a prolonged and considerable isolation across generations, which has led to high proportions of historical and local endogamy that is associated, in general, with high \ values. Thus, assessing genomic inbreeding using runs of homozygosity in current Spanish populations could be an additional pertinent strategy for obtaining a more refined perspective regarding the population history inferred from the extent and frequency of ROH regions. (shrink)

In this paper we will analyze critically the traditional interpretation of the principle of subsidiarity in the Chilean Constitution of 1980 and its influence on the configuration of our economic constitution. To this end, firstly we will study the traditional interpretation of the subsidiarity, trying to demonstrate its faults, and its relationship with neoliberalism. After, we will evaluate the influence of this position on the constitutional jurisprudence of recent years. And finally, considering the crisis of legitimacy of our political system, (...) we believe that the Welfare state could be a solution to the constitutional problem. (shrink)

This paper presents the design, simulation, and experimental verification of the fractional-order multiscroll Lü chaotic system. We base them on op-amp-based approximations of fractional-order integrators and saturated series of nonlinear functions. The integrators are first-order active realizations tuned to reduce the inaccuracy of the frequency response. By an exponential curve fitting, we got a convenient design equation for realizing fractional-order integrators of orders from 0.1 to 0.95. The results include simulations in SPICE of the mathematical description and the electronic implementation (...) and experimental measurements that confirm them. Monte Carlo and sensitivity tests revealed a robust realization. Contrary to its passive counterparts, the suggested realizations significantly reduce design and implementation efforts by favoring resistors and capacitors with commercial values and reducing hardware requirements. (shrink)